From 675b2fddcb0268c3c2ec6c93585d0374ddd6106a Mon Sep 17 00:00:00 2001 From: Rob Bradford Date: Fri, 6 Jan 2012 16:48:13 +0000 Subject: [PATCH] wayland: Make the event source use _gdk_display_get_next_serial --- gdk/wayland/gdkeventsource.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gdk/wayland/gdkeventsource.c b/gdk/wayland/gdkeventsource.c index b48e880107..6f76d1d187 100644 --- a/gdk/wayland/gdkeventsource.c +++ b/gdk/wayland/gdkeventsource.c @@ -113,10 +113,10 @@ void _gdk_wayland_display_deliver_event (GdkDisplay *display, GdkEvent *event) { GList *node; - static int serial; node = _gdk_event_queue_append (display, event); - _gdk_windowing_got_event (display, node, event, serial++); + _gdk_windowing_got_event (display, node, event, + _gdk_display_get_next_serial (display)); } GSource * -- 2.30.2